Mit der B Konsole kann man B Formeln auswerten lassen. Hierbei ist es möglich auf die Variablen und Konstanten in der aktuell geladenen Maschine zuzugreifen.
Es ist ebenfalls möglich die bekannten Shortcuts in Konsolen zu verwenden.
